
#include <stdio.h>
#include "platform.h"

int main(int argc, char * argv[]) {
    size_t allocated = 0;
    void * p = mgen_allocate(10, &allocated, true);

    fprintf(stderr, "mgen: alloc = %p, size = %d\n", p, allocated);

    mgen_free(p, allocated);

    return 0;
}
